Results for 'Sergei N. Konyaev'

969 found
Order:
  1. Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   120 citations  
  2.  78
    On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
  3. The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
    Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4. The Development of Artistic Culture: Some Methodological Suggestions.Sergei N. Plotnikov & Jeanne Ferguson - 1979 - Diogenes 27 (107):49-64.
    In today's world, the problems of culture have become world problems, as are those of the protection of the environment, the rational use of natural resources, the demographic situation, international disarmament and the prevention of war. We speak of a “cultural explosion” with regard to the very lively interest that culture arouses today and the increasing needs in this area. We can expect this development to continue, but what is the social significance of the process? What is its origin? To (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    The Floor is Given to Mr. Hessen.Sergei N. Korsakov - 2018 - Epistemology and Philosophy of Science 55 (3):202-204.
    The author presents the previously unknown text of the outstanding Soviet philosopher and historian of science Boris Mikhailovich Hessen. The author analyzes the report of Boris M. Hessen at the Second international Congress on the history of science and technology in London (1931). He considers as well some published works of B.M. Hessen, mainly his book on the philosophical interpretation of the theory of relativity. He argues that it is time to start introducing unpublished texts by B.M. Hessen into scientific (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Operations on Proofs that can be Specified by Means of Modal Logic.Sergei N. Artemov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-90.
    No categories
     
    Export citation  
     
    Bookmark  
  7. Operations on Proofs that can be Specified by Means of Modal Logic.Sergei N. Artemov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-90.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  35
    Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
    ABSTRACT In 1933 Gödel introduced an axiomatic system, currently known as S4, for a logic of an absolute provability, i.e. not depending on the formalism chosen ([God 33]). The problem of finding a fair provability model for S4 was left open. The famous formal provability predicate which first appeared in the Gödel Incompleteness Theorem does not do this job: the logic of formal provability is not compatible with S4. As was discovered in [Art 95], this defect of the formal provability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  44
    Being and creation in the theology of John Scottus Eriugena: an approach to a new way of thinking.Sergei N. Sushkov - 2017 - Eugene, Oregon: Pickwick Publications.
    The work aims to demonstrate that at the heart of Eriugena’s approach to Christian theology there lies a profoundly philosophical interest in the necessity of a cardinal shift in the paradigms of thinking – namely, that from the metaphysical to the dialectical one, which wins him a reputation of the ‘Hegel of the ninth century,’ as scholars in Post-Hegelian Germany called him. The prime concern of Eriugena’s discourse is to prove that the actual adoption of the salvific truth of Christ’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Bytie i soznanie. Chelovek i mir.Sergeĭ Leonidovich Rubinshteĭn - 2003 - Sankt-Peterburg: Piter. Edited by Sergeĭ Leonidovich Rubinshteĭn.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Eine studie problem der methode.Sergeĭ Leonidovich Rubinshteĭn - 1914 - Marburg,:
     
    Export citation  
     
    Bookmark  
  12.  15
    Funny? Think About It! Selective effect of cognitive mechanisms of humour on insight problems.Sergei Y. Korovkin, Ekaterina N. Morozova & Olga S. Nikiforova - 2024 - Cognition and Emotion 38 (5):768-788.
    The present study aims to elucidate whether insight problem solving could be facilitated by the cognitive component of humour. The authors take interest in whether the logical mechanisms of humour can affect how fast insight problems are solved. To that end, the authors conducted two experiments where participants solved insight problems after watching visual humorous stimuli such as videos and slideshows. The first experiment demonstrated the overall impact of facilitation by humour on insight problem solving; however, it did not show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Bytie i soznanie.Sergeĭ Leonidovich Rubinshteĭn - 1957 - Moskva,: Izd-vo Akademii nauk SSSR.
     
    Export citation  
     
    Bookmark  
  14. Sein und Bewusstsein.Sergeĭ Leonidovich Rubinshteĭn - 1966 - Berlin,: Akademie Verlag.
     
    Export citation  
     
    Bookmark  
  15. Chelovek i mir.Sergeĭ Leonidovich Rubinshteĭn - 1997 - Moskva: Nauka.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  5
    Izbrannye filosofsko-psikhologicheskie trudy: osnovy ontologii, logiki i psikhologii.Sergeĭ Leonidovich Rubinshteĭn - 1997 - Moskva: Nauka.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Iz istorii filosofii Sredneĭ Azii i Irana.Sergeĭ Nikolaevich Grigori︠a︡n - 1960
  18. Velikie mysliteli Sredneĭ Azii.Sergeĭ Nikolaevich Grigori︠a︡n - 1958
  19.  14
    Is there a continuum of agentive awareness across physical and mental actions? The case of quasi-movements.Artem S. Yashin, Sergei L. Shishkin & Anatoly N. Vasilyev - 2023 - Consciousness and Cognition 112 (C):103531.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Metodologicheskiĭ analiz situat︠s︡iĭ vybora estestvennonauchnykh teoriĭ.Sergeĭ Surenovich Meliki︠a︡n - 1978 - Erevan: Izd-vo AN ArmSSR.
     
    Export citation  
     
    Bookmark  
  21.  55
    On the intuitionistic strength of monotone inductive definitions.Sergei Tupailo - 2004 - Journal of Symbolic Logic 69 (3):790-798.
    We prove here that the intuitionistic theory $T_{0}\upharpoonright + UMID_{N}$ , or even $EEJ\upharpoonright + UMID_{N}$ , of Explicit Mathematics has the strength of $\prod_{2}^{1} - CA_{0}$ . In Section I we give a double-negation translation for the classical second-order $\mu-calculus$ , which was shown in [ $M\ddot{o}02$ ] to have the strength of $\prod_{2}^{1}-CA_{0}$ . In Section 2 we interpret the intuitionistic $\mu-calculus$ in the theory $EETJ\upharpoonright + UMID_{N}$ . The question about the strength of monotone inductive definitions in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  19
    Boris N. Chicherin and the Problem of the Political Identification of His Legacy.Sergei L. Chizhkov - 2021 - Russian Studies in Philosophy 59 (1):1-12.
    This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    Sergei N. Bulgakov and His Philosophy of Russian Literature: The Spiritual Experience of Writers.I. Y. Ilin - 2019 - Russian Journal of Philosophical Sciences 62 (3):40-55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    Scénarios schématiques de la vie et de la narration.Sergei Iou Neklioudov - 2010 - Iris 31:41-50.
    On peut distinguer trois cas de correspondances différentes entre les « scénarios schématiques » et le domaine narratif folklorico-littéraire : 1. La narration constitue la projection de la « dramaturgie de la vie » (une telle projection n’est évidemment ni directe ni complète) ;2. La structure de l’univers des personnages et la structure événementielle du narratif influencent la formation des « scénarios de la vie », en conditionnant l’apparence morphologico-compositionnelle de l’un et de l’autre ;3. La coincidence de la « (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  40
    Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
    An instance of Stratified Comprehension ∀x₁ … ∀x n ∃y∀x (x ∈ y ↔ φ(x, x₁, …, x n )) is called strictly impredicative iff, under minimal stratification, the type of x is 0. Using the technology of forcing, we prove that the fragment of NF based on strictly impredicative Stratified Comprehension is consistent. A crucial part in this proof, namely showing genericity of a certain symmetric filter, is due to Robert Solovay. As a bonus, our interpretation also satisfies some (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  12
    Sobornyĭ personalizm--kli︠u︡ch k russkoĭ filosofii: N.O. Losskiĭ i O.P. Florenskiĭ ; ot︠s︡enka t︠s︡ivilizat︠s︡ionnoĭ teorii N.I︠A︡. Danilevskogo: k 150-letii︠u︡ vykhoda "Rossii i Evropy".Sergeĭ Baranov - 2019 - Moskva: Knizhnyĭ mir.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  89
    Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-433.
  28.  80
    Decidability and Computability of Certain Torsion-Free Abelian Groups.Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky - 2010 - Notre Dame Journal of Formal Logic 51 (1):85-96.
    We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  49
    Our even.Sabine Iatridou & Sergei Tatevosov - 2016 - Linguistics and Philosophy 39 (4):295-331.
    We discuss a phenomenon that appears when ‘even’ occurs in questions. Specifically, an inference of what we call “extreme ignorance” is projected onto the speaker. We argue that this effect arises when the known unlikelihood ‘even’ focuses an entire question, resulting in the focused question being the least likely to be asked. Specific implicatures then conspire to bring about the inference that the speaker does not know the answer to the question that is most expected to be known. The environments (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  37
    Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
    Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  31.  74
    (1 other version)Geometry, calculus and Zil'ber's conjecture.Ya'acov Peterzil & Sergei Starchenko - 1996 - Bulletin of Symbolic Logic 2 (1):72-83.
    §1. Introduction. By and large, definitions of a differentiable structure on a set involve two ingredients, topology and algebra. However, in some cases, partial information on one or both of these is sufficient. A very simple example is that of the field ℝ where algebra alone determines the ordering and hence the topology of the field:In the case of the field ℂ, the algebraic structure is insufficient to determine the Euclidean topology; another topology, Zariski, is associated with the ield but (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  95
    Russian Scientists and Philosophers: Sergei Ivanovich Vavilov, President of the Academy of Sciences of the U.S.S.R.S. N. Gorelov - 1947 - Synthese 5 (9-10):422 - 424.
  33.  14
    Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev & Luca San Mauro - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 1-13.
    Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice L. In (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  26
    Christian antinomy in modern spiritual poetry.L. N. Tatarinova - 2014 - Liberal Arts in Russia 3 (1):45.
    The problem of the article is based on a long tradition of studying the category ‘antinomy‘ in the history of philosophy from antiquity until the early twentieth century. Antinomical thinking has particular importance for the spiritual life in the 20th century. The author draws attention to the fact that, for example, in the poetry of Thomas Stern Eliot antinomies and paradoxes are of philosophical and religious nature especially in then dealing with questions of reaching the Truth by rational way exclusively. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Sergeĭ Leonidovich Rubinshteĭn.Ksenii︠a︡ Aleksandrovna Abulʹkhanova-Slavskai︠a︡ (ed.) - 2010 - Moskva: ROSSPĖN.
  36.  43
    The Neo-Idealist Reception of Kant in the Moscow Psychological Society.Randall Allen Poole - 1999 - Journal of the History of Ideas 60 (2):319-343.
    In lieu of an abstract, here is a brief excerpt of the content:The Neo-Idealist Reception of Kant in the Moscow Psychological SocietyRandall A. Poole*The Moscow Psychological Society, founded in 1885 at Moscow University, was the philosophical center of the revolt against positivism in the Russian Silver Age. By the end of its activity in 1922 it had played the major role in the growth of professional philosophy in Russia. 1 The Society owes its name to its founder, M. M. Troitsky (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  21
    The “Philosophy Steamer” as Cognitive Category and Historical Collective Individuality.Julia B. Mehlich - 2022 - Russian Studies in Philosophy 60 (4):274-288.
    This article discusses development of the content of the concept “Philosophy Steamer,” which refers to the 1922 expulsion from Russia of a group of intelligentsia who sharply criticized the authorities. The author shows that the group of exiled philosophers was united both by their previous philosophical and social activity and by their joint activity as émigrés. She analyzes the concepts of “historical collective individuality,” “collective person,” and “communal person” introduced by Lev P. Karsavin in order to determine the holistic nature (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. The Resurrection of the Son of God.N. T. Wright - unknown
    No categories
     
    Export citation  
     
    Bookmark   32 citations  
  39.  24
    Social Robots: Boundaries, Potential, Challenges.Marco Nørskov - 2016 - Routledge.
    Social robotics is a cutting edge research area gathering researchers and stakeholders from various disciplines and organizations. The transformational potential that these machines, in the form of, for example, caregiving, entertainment or partner robots, pose to our societies and to us as individuals seems to be limited by our technical limitations and phantasy alone. This collection contributes to the field of social robotics by exploring its boundaries from a philosophically informed standpoint. It constructively outlines central potentials and challenges and thereby (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  72
    The Russian cosmists: the esoteric futurism of Nikolai Fedorov and his followers.George M. Young - 2012 - New York: Oxford University Press.
    The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and spiritual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  19
    Philosophical Problems of Classical Film Theory by Noel Carroll.Robert E. Lauder - 1991 - The Thomist 55 (3):535-538.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 535 eluded. Have Straussians proved that there is no higher human knowledge than philosophy? One hopes that they will meet their critics, because Stmussians are deeply serious men and women, and we can all learn from their mentor. Hillsdale, College Hillsdale, Michigan D. T. ASSELIN Philosophical Problems of Classical Film Theory. By NOEL CARROLL. Princeton, N.J.: Princeton University Press, 1988. Pp. 268. This book is a provocative, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Robotification & ethical cleansing.Marco Nørskov - 2022 - AI and Society 37 (2):425-441.
    Robotics is currently not only a cutting-edge research area, but is potentially disruptive to all domains of our lives—for better and worse. While legislation is struggling to keep pace with the development of these new artifacts, our intellectual limitations and physical laws seem to present the only hard demarcation lines, when it comes to state-of-the-art R&D. To better understand the possible implications, the paper at hand critically investigates underlying processes and structures of robotics in the context of Heidegger’s and Nishitani’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  64
    ‘And Therefore I Hasten to Return My Ticket’: Anti-theodicy Radicalised.N. N. Trakakis - 2021 - Sophia 60 (3):699-720.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  23
    There Oughta Be a Law: When Does(n’t) the U.S. Common Rule Apply?Michelle N. Meyer - 2020 - Journal of Law, Medicine and Ethics 48 (S1):60-73.
    Using mobile health research as an extended example, this article provides an overview of when the Common Rule “applies” to a variety of activities, what might be meant when one says that the Common Rule does or does not “apply,” the extent to which these different meanings of “apply” matter, and, when the Common Rule does apply, how it applies.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  23
    A Developmental Perspective on Pediatric Decision-Making Capacity.N. Hardy & N. Nortjé - 2021 - In Nico Nortjé & Johan C. Bester (eds.), Pediatric Ethics: Theory and Practice. Springer Verlag. pp. 23-37.
    Decision-making capacityDecision-making capacity for pediatric patients can be difficult to determine and is influenced by a myriad of developmental considerations. This chapter begins with a discussion concerning the nature of decision-makingDecision-making and what constitutes competency. The “rule of sevensRule of sevens” frameworkFramework is then used to explicate pertinent developmental milestonesMilestones for children, dividing pediatric developmentDevelopment into 0–7, 7–14, and 14+ years of age. In particular, the authors highlight the most important cognitiveCognitive, socialSocial, andSocial emotionalemotionalEmotional considerations in each of these periods (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  9
    Wŏnhyo sasang yŏn'gu.T'ae-wŏn Pak - 2011 - Ulsan Kwangyŏksi: UUP.
  47.  8
    Các nhà nghiên cứu ngôn ngữ học Việt Nam =.Toàn Vương (ed.) - 2005 - Hà Nội: Nhà xuất bản Khoa học xã hội.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  11
    Why Russian Philosophy Is So Important and So Dangerous.Mikhail Epstein - 2023 - Common Knowledge 29 (3):405-409.
    The academic community in the West tends to be suspicious of Russian philosophy, often relegating it to another category, such as “ideology” or “social thought.” But what is philosophy? There is no simple universal definition, and many thinkers consider it impossible to formulate one. The most credible attempt is nominalistic: philosophy is the practice in which Plato and Aristotle were involved. As Alfred North Whitehead wrote, “The safest general characterization of the European philosophical tradition is that it consists of a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  53
    Why Computer Simulation Cannot Be an End of Thought Experimentation.N. K. Shinod - 2021 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 52 (3):431-453.
    Computer simulation (CS) and thought experiments (TE) seem to produce knowledge about the world without intervening in the world. This has called for a comparison between the two methods. However, Chandrasekharan et al. (2013) argue that the nature of contemporary science is too complex for using TEs. They suggest CS as the tool for contemporary sciences and conclude that it will replace TEs. In this paper, by discussing a few TEs from the history of science, I show that the replacement (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Reflexiones sobre la transformación moderna del vínculo hombres-naturaleza.Martín Abraham - 2018 - In Gloria Elías (ed.), El arte de la dominación: ensayos de filosofías para la emancipación y la liberación. San Salvador de Jujuy, Pcia. de Jujuy, Argentina: Universidad Nacional de Jujuy.
     
    Export citation  
     
    Bookmark  
1 — 50 / 969